package ast;

public class NumPredicate extends QualityPredicate {

	private int num;
	
	public NumPredicate(int num)
	{
		this.num = num;
	}
	
	public int getNum()
	{
		return num;
	}
	
	public String toString()
	{
		return num + "";
	}
}
